#! /bin/bash

export CLASP_HOME=${PWD%}

echo CLASP_HOME = $CLASP_HOME

kill -SIGUSR1 `cat /tmp/clasp_pid_$USER`
